#include "DIVA_VMStub.h"
#include <string>

using namespace std;
class ReferenceVM: public DIVA_VMStub {
protected:
	DIVA_VMStub *  _pointedVM;
	ReferenceVM(){};

public:
	virtual string getVMType() { return string("reference"); }
};